Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
31	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-07-07 05:51:55 Functional analysis Computational complexity theory Cryptography Distribution Proof of knowledge IP Zero-knowledge proof
32	CDA Renewal Candidate Training Verification Form To Be Completed by the Center/Program Director or other Authorized Staff Use this form only: If the CDA Renewal Candidate has certificates as proof of training or received Add to Reading List Source URL: www.cdacouncil.org Language: English - Date: 2016-03-23 15:15:47 Credential Identity management Knowledge
33	Making a Nymbler Nymble using VERBS? Ryan Henry, Kevin Henry, and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 {rhenry,k2henry,iang}@cs.uwaterloo.ca Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2016-05-12 20:00:31 Public-key cryptography Cryptography Notary Financial cryptography E-commerce Blind signature Digital signature Zero-knowledge proof Proof of knowledge Anonymity Proxy server Authentication
34	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem
35	An Essay Concerning Human Understanding Book IV: Knowledge John Locke Copyright © 2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has bee Add to Reading List Source URL: www.earlymoderntexts.com Language: English An Essay Concerning Human Understanding Empiricism Catholic probabilism Reason Epistemology Mathematical proof Faith and rationality Grammar of Assent Faith in Christianity
36	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Cryptography Public-key cryptography FeigeFiatShamir identification scheme IP Commitment scheme RSA Proof of knowledge Vehicle identification number
37	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
38	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:02:31 Cryptography Zero-knowledge proof Computational complexity theory Proof of knowledge IP Presentation of a group
39	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:09:39 Computational complexity theory Proof of knowledge NP IP Soundness PP Certificate XTR Zero-knowledge proof ZPP
40	Anonymous Credentials Light Foteini Baldimtsi, Anna Lysyanskaya foteini, Computer Science Department, Brown University Abstract. We define and propose an efficient and provably secure construction of bl Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-05-21 23:04:44 Public-key cryptography Cryptography Financial cryptography Digital signature Blind signature David Chaum Commitment scheme Proof of knowledge Blinding Zero-knowledge proof FiatShamir heuristic Cryptographic protocol